Max-Plus Linear Stochastic Systems and Perturbation Analysis
This book provides a thorough treatment of the theory of stochastic max-plus linear systems. Max-plus algebra is an algebraic ...
اقرأ المزيد
Membrane Computing
This volume contains a selection of papers presented at the Eighth Workshop on Membrane Computing, WMC8, which took place ...
اقرأ المزيد
Membrane Computing (vol. # 3850)
The papers in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics ...
اقرأ المزيدModelling and Analysis of Hybrid Supervisory Systems
Modelling and Analysis of Hybrid Supervisory Systems introduces a modelling formalism that merges Petri nets, differential ...
اقرأ المزيد
Multiagent System Technologies : 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th German Conference on Multiagent Systems Technologies, MATES 2008, ...
اقرأ المزيد
Operational Semantics for Timed Systems
This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents ...
اقرأ المزيد
Parallel and Distributed Logic Programming
The book Parallel and Distributed Logic Programming provides a clear introduction to parallel and distributed approach to ...
اقرأ المزيد
Performance Analysis of Network Architectures
Parallel and distributed computer systems are built to close the gap between the demand for high-performance computing and ...
اقرأ المزيد
Petri Nets and Other Models of Concurrency - ICATPN 2006
This book constitutes the refereed proceedings of the 27th International Conference on Applications and Theory of Petri Nets ...
اقرأ المزيد
Petri Nets and Other Models of Concurrency - ICATPN 2007
This book constitutes the refereed proceedings of the 28th International Conference on Applications and Theory of Petri Nets ...
اقرأ المزيد
Principles of Distributed Systems : 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings
The 30 full papers and 11 short papers presented were carefully reviewed and selected from 102 submissions. The conference ...
اقرأ المزيد
SDL 2005: Model Driven
This paradigm is based on the following important principles of distributed - plications: Communication: large systems tend ...
اقرأ المزيد
SOFSEM 2008: Theory and Practice of Computer Science : 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008. Proceedings
This book is segmented into four topical sections on foundations of computer science; computing by nature; networks, security, ...
اقرأ المزيد
Socionics
This book includes contributions from an interdisciplinary field of research we call Socionics. Based on a close cooperation ...
اقرأ المزيد
Software Engineering 2
volume 2 covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics ...
اقرأ المزيد
Stochastic Discrete Event Systems : Modeling, Evaluation, Applications
The behavior of many technical systems important in everyday life can be described using discrete states and state-changing ...
اقرأ المزيد
Supervisory Control of Concurrent Systems
This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specifications ...
اقرأ المزيد
Transactions on Computational Systems Biology VII
This volume, the 7th in the Transactions on Computational Systems Biology series, contains a fully refereed and carefully ...
اقرأ المزيد
Transactions on Petri Nets and Other Models of Concurrency I
It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...
اقرأ المزيد
Virtual Storytelling. Using Virtual Reality Technologies for Storytelling
This book constitutes the refereed proceedings of the 4th International Conference on Virtual Storytelling, ICVS 2007, held ...
اقرأ المزيد
